- type hierarchy
- 类型层次，类型分级结构
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
type hierarchy
Look at other dictionaries:
Object-oriented Abstract Type Hierarchy — OATH Written in C++ Type library or framework Object oriented Abstract Type Hierarchy (OATH) is a class library for C++ from Texas Instruments. This article was originally based on material from the Free On line Dictionary of Computing, which is… … Wikipedia
Type polymorphism — In computer science, polymorphism is a programming language feature that allows values of different data types to be handled using a uniform interface. The concept of parametric polymorphism applies to both data types and functions. A function… … Wikipedia
Hierarchy of the Early Church — • The word hierarchy is used here to denote the three grades of bishop, priest, and deacon (ministri) Catholic Encyclopedia. Kevin Knight. 2006. Hierarchy of the Early Church Hierarchy of the Early Church … Catholic encyclopedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Type 2 — or Type II may refer to:* Type 2 20 mm AA Machine Cannon, a Japanese weapon * Type 2 AT mine * Type 2 cannon, a 30 mm Japanese weapon * Type 2 encryption * Type 2 Gumbel distribution * Type 2 Ho I, a Japanese tank * Type 2 Ka Mi, a Japanese tank* … Wikipedia
Hierarchy — A hierarchy (Greek: hierarchia (ἱεραρχία), from hierarches, leader of sacred rites ) is an arrangement of items (objects, names, values, categories, etc.) in which the items are represented as being above, below, or at the same level as one… … Wikipedia
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
Hierarchy Open Service Interface Definition — The Hierarchy Open Service Interface Definition (OSID) is an O.K.I. specification. OSIDs are programmatic interfaces which comprise a Service Oriented Architecture for designing and building reusable and interoperable software.The Hierarchy OSID… … Wikipedia
Hierarchy diagram — A hierarchy diagram is a type of data structure diagram.Examples* [http://www.graphic.org/class.html] *Blank (template) pyramid hierarchy diagram [http://img502.imageshack.us/my.php? ] ee also*diagram *data model … Wikipedia
Top type — The top type in type theory, commonly abbreviated as top or by the down tack symbol (⊤) is the universal type that type which contains every possible object in the type system of interest. The top type is sometimes called the universal supertype… … Wikipedia
Pure type system — In proof and type theory, a pure type system is a form of typed lambda calculus that obscures the distinction between types and terms and collapses the type hierarchy. It can be seen as a generalisation of Barendregt s lambda cube, and therefore… … Wikipedia
